Repairing a Leaking Pool